fpf-join(eq; f; g)
== <append((f.1); filter((a.fpf-dom(eq; a; f)); (g.1)))
== , a.fpf-cap(f; eq; a; fpf-ap(g; eq; a))
== > 

latex

Definitions	fpf-join(eq; f; g), append(as; bs), filter(P; l), b, fpf-dom(eq; x; f), t.1, fpf-cap(f; eq; x; z), fpf-ap(f; eq; x)
FDL editor aliases	fpf-join